Sets and Venn diagrams